model-theoretic semantics

模型论语义